Search Results
Formal Verification of the Application Conceptual Models Using UML and Ontology OWL
How to create an OWL ontology using the OMG UML Profile for OWL with the TwoUse Toolkit
OWL: The Web Ontology Language. Part I: Overview by Pavel Klinov
Ontologies and Conceptual Modeling
Protégé: Constructing Domain Models with Ontologies
Alan J. Hu - Automatic Formal Verification of Software: Really!
Rules and Semantic Web - Part 1
OWL, UML, Ecore, SPARQL: TwoUse Examples
Formal verification with QGen
Transforming Ecore Models and Metamodels into OWL using the OWLizer
Ian Horrocks: Standardizing OWL
Lec-38 introduction to formal verification
